Foundations of mathematics - PDFSEARCH.IO - Document Search Engine

Foundations of mathematics
Results: 359

#	Item
321	The Riemannian Background to Frege’s Philosophy1 Jamie Tappenden Add to Reading List Source URL: www-personal.umich.edu Language: English - Date: 2005-12-03 19:47:34 Gottlob Frege The Foundations of Arithmetic Arithmetization of analysis Mathematical analysis Mathematical logic Infinity Karl Weierstrass Function Analytic philosophy Mathematics Philosophy Philosophy of mathematics
322	FOUNDATIONS OF NONSTANDARD ANALYSIS A Gentle Introduction to Nonstandard Extensions Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2002-07-26 12:16:21 Non-standard analysis Algebraic topology Field theory Infinity Mathematical analysis Function Hyperreal number Sheaf Exponentiation Abstract algebra Mathematics Algebra
323	Univalent Foundations of Mathematics Talk by Vladimir Voevodsky September 5 , 2011 Add to Reading List Source URL: www.math.ias.edu Language: English - Date: 2011-12-13 11:34:22 Category theory Topology Higher category theory Algebraic structures Type theory Zermelo–Fraenkel set theory Groupoid Set theory New Foundations Mathematics Abstract algebra Homotopy theory
324	SANJEEV ARORA Curriculum Vitae, December[removed]Born in January 1968, in India. US Permanent Resident Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2008-12-16 14:35:34 Sanjeev Arora ACM SIGACT Symposium on Theory of Computing Symposium on Foundations of Computer Science Journal of the ACM Approximation algorithm PH Ran Raz Gödel Prize Theoretical computer science Applied mathematics Computer science
325	PANOECONOMICUS, 2010, 2, pp[removed]Received: 17 March 2010. Add to Reading List Source URL: www.doiserbia.nb.rs Language: English - Date: 2010-06-30 05:13:16 Philosophy of mathematics Mathematical logic Epistemology Formal systems Mathematical constructivism John von Neumann Foundations of mathematics Formalism David Hilbert Mathematics Science Logic
326	Foundations and Applications of Higher-Dimensional Directed Type Theory Robert Harper and Daniel R. Licata Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2011-05-26 15:05:42 Type theory Logic in computer science Algebraic topology Dependently typed programming Proof theory Curry–Howard correspondence Category theory Equivalence of categories Sheaf Mathematics Abstract algebra Mathematical logic
327	International Journal of Foundations of Computer Science c World Scientific Publishing Company Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2009-11-02 10:14:24 Formal languages Mathematics Finite state transducer Formal methods Semiring Finite-state machine Sequence Büchi automaton Automata theory Models of computation Theoretical computer science
328	The uncertainty principle for energy and time. II Jan Hilgevoord Department of History and Foundations of Mathematics and Science, Utrecht University, P.O. Box[removed], Add to Reading List Source URL: www.stat.physik.uni-potsdam.de Language: English - Date: 2007-04-10 09:32:50 Quantum field theory Introduction to quantum mechanics Photon Quantum state Angular momentum Momentum operator Momentum Relational approach to quantum physics Quantum LC circuit Physics Quantum mechanics Uncertainty principle
329	Constructivist and Structuralist Foundations: Bishop’s and Lawvere’s Theories of Sets Erik Palmgren∗ Add to Reading List Source URL: www2.math.uu.se Language: English - Date: 2009-10-23 05:03:31 Function Category theory Axiom schema of replacement Constructivism Topos Sheaf Axiom of choice Zermelo–Fraenkel set theory Surjective function Mathematics Mathematical logic Functions and mappings
330	David Hilbert and the Axiomatization of Physics[removed]by Leo Corry Add to Reading List Source URL: tau.ac.il Language: English - Date: 2005-10-12 13:57:07 Felix Klein Hermann Minkowski Adolf Hurwitz Geometry Hermann Weyl Ferdinand von Lindemann Foundations of mathematics Paul Peter Ewald Max Born Mathematics Number theorists David Hilbert

UPDATE